Loop Body is Executed Exactly Once (LBEEO)

Description:

LBEEO detects situations where the condition of a do loop always evaluates to false. The body of such a loop executes only once.

Incorrect:

void process(int i) {
    if (i < 0) {
        do {
            processItem(i);
        } while (i-- >= 0);
    }
}